例句與造句

1. Based on the production of other researchers such as professor xu yang and professor qin keyun , this paper discusses the structure and properties of lattice implication algebra , tautologies in some lattice - valued systems , automated reasoning methods , lattice - valued prepositional logic system
   本文的工作是在徐揚教授、秦克云教授等研究成果的基礎上，對格蘊涵代數(shù)的性質、結構、格值命題邏輯系統(tǒng)中的重言式、自動推理方法、格值命題邏輯系統(tǒng)等進行了一些研究。
2. Huang zhuo ( computer software & theory ) directed by zhang jian the algorithms and tools to solve first - order logic model searching ( folms ) problem with finite domain size are studied in this thesis . the satisfiability ( sat ) problem in the prepositional logic and folms are classic problems of computer science , which are important in theory and have wide applications in a lot of real - world problems
   命題邏輯可滿足性( sat )問題和有限論域一階邏輯模型搜索( folms )問題是計算機理論科學中的經(jīng)典問題，不僅在理論上有著重要的地位，而且在許多實際問題中得到了廣泛的應用。
3. This paper came from the national nature science foundation and beijing nature science foundation . the subject is the research of the relation between generalized propositional logic ( gpl ) and other prepositional logic . the paper shows the universality of generalized propositional logic
   本文的研究結合國家自然科學基金“經(jīng)驗知識推理理論” ( 60273087 )和北京市自然科學基金“不精確推理理論研究” ( 4032009 )進行，主要是研究命題泛邏輯學對其他命題邏輯的包容性，即根據(jù)泛邏輯學的生成規(guī)則，可以直接生成各種命題邏輯。
4. It's difficult to find prepositional logic in a sentence. 用prepositional logic造句挺難的